1

Key notions of Tarski's methodology of deductive systems

Year:
1985
Language:
english
File:
PDF, 2.15 MB
english, 1985
3

John F. Horthy,Agency and Deontic Logic.

Year:
2003
Language:
english
File:
PDF, 102 KB
english, 2003
5

Logics based on partial Boolean σ-algebras

Year:
1975
Language:
english
File:
PDF, 856 KB
english, 1975
6

Relative principal congruences in congruence-modular quasivarieties

Year:
1998
Language:
english
File:
PDF, 216 KB
english, 1998
7

General Theory of the Commutator for Deductive Systems. Part I. Basic Facts

Year:
2006
Language:
english
File:
PDF, 3.06 MB
english, 2006
8

Weakly Algebraizable Logics

Year:
2000
Language:
english
File:
PDF, 540 KB
english, 2000
9

Algebraic Methods in Philosophical Logic

Year:
2003
Language:
english
File:
PDF, 238 KB
english, 2003
12

Fregean logics

Year:
2004
Language:
english
File:
PDF, 636 KB
english, 2004
13

Books received

Year:
1990
Language:
english
File:
PDF, 1013 KB
english, 1990
14

Books received

Year:
1991
Language:
english
File:
PDF, 452 KB
english, 1991
15

Books received

Year:
1988
Language:
english
File:
PDF, 600 KB
english, 1988
16

Local deductions theorems

Year:
1986
Language:
english
File:
PDF, 891 KB
english, 1986
17

Books received

Year:
1986
Language:
english
File:
PDF, 581 KB
english, 1986
18

Books received

Year:
1992
Language:
english
File:
PDF, 752 KB
english, 1992
19

Books received

Year:
1990
Language:
english
File:
PDF, 734 KB
english, 1990
20

Books received

Year:
1987
Language:
english
File:
PDF, 198 KB
english, 1987
21

Books received

Year:
1991
Language:
english
File:
PDF, 1.01 MB
english, 1991
22

Algebraic aspects of deduction theorems

Year:
1985
Language:
english
File:
PDF, 1.10 MB
english, 1985
23

Filter distributive logics

Year:
1984
Language:
english
File:
PDF, 1.31 MB
english, 1984
24

Books received

Year:
1987
Language:
english
File:
PDF, 811 KB
english, 1987
25

Books received

Year:
1989
Language:
english
File:
PDF, 752 KB
english, 1989
26

A deduction theorem schema for deductive systems of propositional logics

Year:
1991
Language:
english
File:
PDF, 326 KB
english, 1991
27

Books received

Year:
1985
Language:
english
File:
PDF, 377 KB
english, 1985
28

Books received

Year:
1989
Language:
english
File:
PDF, 458 KB
english, 1989
29

Books received

Year:
1987
Language:
english
File:
PDF, 291 KB
english, 1987
30

Reduced products of logical matrices

Year:
1980
Language:
english
File:
PDF, 1.39 MB
english, 1980
31

Books received

Year:
1986
Language:
english
File:
PDF, 526 KB
english, 1986
32

Books received

Year:
1988
Language:
english
File:
PDF, 511 KB
english, 1988
33

Books received

Year:
1986
Language:
english
File:
PDF, 368 KB
english, 1986
34

Books received

Year:
1985
Language:
english
File:
PDF, 662 KB
english, 1985
35

Sentential logics and Maehara Interpolation Property

Year:
1985
Language:
english
File:
PDF, 1.03 MB
english, 1985
36

Books received

Year:
1990
Language:
english
File:
PDF, 986 KB
english, 1990
37

Equivalential logics (II)

Year:
1981
Language:
english
File:
PDF, 1.25 MB
english, 1981
38

Another proof thatISPr(K) is the least quasivariety containingK

Year:
1982
Language:
english
File:
PDF, 156 KB
english, 1982
39

Logical matrices and the amalgamation property

Year:
1982
Language:
english
File:
PDF, 794 KB
english, 1982
40

Partial Boolean algebras in a broader sense

Year:
1979
Language:
english
File:
PDF, 876 KB
english, 1979
41

Books received

Year:
1988
Language:
english
File:
PDF, 256 KB
english, 1988
42

Books received

Year:
1990
Language:
english
File:
PDF, 441 KB
english, 1990
43

A single quasi-identity for a quasivariety with the Fraser-Horn property

Year:
1992
Language:
english
File:
PDF, 286 KB
english, 1992
44

The parameterized local deduction theorem for quasivarieties of algebras and its application

Year:
1996
Language:
english
File:
PDF, 2.14 MB
english, 1996
45

Some theorems on structural entailment relations

Year:
1983
Language:
english
File:
PDF, 892 KB
english, 1983
46

Matrices, primitive satisfaction and finitely based logics

Year:
1983
Language:
english
File:
PDF, 1.15 MB
english, 1983
47

Logics based on partial Boolean σ-algebras (1)

Year:
1974
Language:
english
File:
PDF, 1.12 MB
english, 1974
48

Books received

Year:
1984
Language:
english
File:
PDF, 672 KB
english, 1984
49

Equivalential logics (I)

Year:
1981
Language:
english
File:
PDF, 645 KB
english, 1981
50

Books received

Year:
1989
Language:
english
File:
PDF, 613 KB
english, 1989